Action language - PDFSEARCH.IO - Document Search Engine

Action language
Results: 1090

#	Item
131	SSO Plugin Release notes J System Solutions http://www.javasystemsolutions.com Version 3.5 Add to Reading List Source URL: www.javasystemsolutions.com Language: English - Date: 2011-11-20 15:22:42 System software Computing Security Assertion Markup Language BMC Remedy Action Request System SAP AG Federated identity SAML-based products and services Identity management systems Identity management Software
132	Sea change Trophy trail Trend-setting Ugly creature from the deep All the action from the swims into troubled waters World Cup qualifiers Add to Reading List Source URL: www.language-education.com Language: English - Date: 2010-07-05 22:16:40 Economy of Hong Kong CITIC Pacific Du Jun Morgan Stanley CITIC Resources Hong Kong dollar CITIC Group Investment Financial economics
133	SSO Plugin Integration for BMC BPPM J System Solutions http://www.javasystemsolutions.com Version 4.0 Add to Reading List Source URL: www.javasystemsolutions.com Language: English - Date: 2014-05-22 11:58:26 Federated identity Identity management Java enterprise platform Single sign-on Apache Tomcat Security Assertion Markup Language BMC Remedy Action Request System Software Computing System software
134	Contents Introduction xxi Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-02-20 10:18:36 ARM7 Joint Test Action Group Jazelle Debugger ARM9 ARM11 Assembly language Debugging SIMD ARM architecture Computer architecture Computing
135	On Acting Hector J. Levesque* Dept. of Computer Science University of Toronto Toronto, Ont. M5S lA4 Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-22 17:53:52 Multi-agent systems Science Function Causality Action theory Philosophy GOAL agent programming language Mutual information Philosophy of science Mathematics Information theory
136	MEAP Edition Manning Early Access Program Elixir in Action Version 9 Add to Reading List Source URL: manning.com Language: English Computer programming NoSQL Ericsson Erlang Concurrent computing RabbitMQ Riak Mnesia Computing Erlang programming language Software engineering
137	Action Pruning Through Under-approximation Refinement Master’s Thesis Natural Science Faculty of the University of Basel Department of Mathematics and Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-04 05:49:32 Science Mind Operations research Automated planning and scheduling Heuristic function Heuristic Algorithm Search algorithm Planning Domain Definition Language Problem solving Artificial intelligence Heuristics
138	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
139	A Theory of Literate Action: Literate Action, Volume 2 Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2013-12-28 16:57:37 Language Science Discourse analysis Oral communication Statements Mikhail Bakhtin Speech act Illocutionary act Locutionary act Linguistics Philosophy of language Pragmatics
140	An Action Language for Reasoning about Beliefs in Multi-Agent Domains Chitta Baral and Gregory Gelfond Enrico Pontelli and Tran Cao Son Ira A. Fulton School of Engineering Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:51 Action description language Interpretation Entailment Model theory Parity of a permutation Logic Metalogic Symbol

UPDATE